Merge pull request #1118 from davidcunado-arm/dc/fix_coverity
authordavidcunado-arm <[email protected]>
Fri, 6 Oct 2017 15:28:45 +0000 (16:28 +0100)
committerGitHub <[email protected]>
Fri, 6 Oct 2017 15:28:45 +0000 (16:28 +0100)
Increase PLAT_ARM_MMAP_ENTRIES and MAX_XLAT_TABLES


Trivial merge